public class a {
    public static void main(java.lang.String[] args) {
        Value res;
        {
            Value _t0;
            Value _t1;
            _t0 = new Int(2);
            _t1 = new Int(1);
            res = Prelude.addInt(_t0, _t1);
        }
        System.out.println(res.toString());
    }
}
